Nuprl Definition : ma-single-init 0,22
x : t initially x = v
== mk-ma(x : t;
== ;
== x : v;
== ;
== ;
== ;
== ;
== ;
== ;
== ;
== ) 
latex

Definitionsmk-ma, x : v,
FDL editor aliasesma-single-init

origin